(DEFPROP DUMMYFNS (DUMMYFNS (DECIMAL) (DE DUMMY NIL NIL) (DECIMAL) (PRINT (LIST (ADD1 7.) (QUOTE =) 1. 0.))) VAL→
UE) 
(DECIMAL) 
(LAP DUMMY SUBR) 
       (MOVEI 1. (QUOTE NIL)) 
       (POPJ P) 
       NIL 
(DECIMAL) 
(PRINT (LIST (ADD1 7.) (QUOTE =) 1. 0.))